\documentclass[10pt]{sigplanconf}


\conferenceinfo{OOPSLA/SPLASH'10,} {October 17--21, 2010, Reno/Tahoe, Nevada, USA.}
\CopyrightYear{2010}
\copyrightdata{978-1-4503-0203-6/10/10}


\input{commands}


\begin{document}


\lstset{language=java,basicstyle=\ttfamily\small}


\title{Ownership and Immutability in Generic Java}

% Hack:  different authors get different space!
\makeatletter
\def \@titleauthors #1#2#3{%
    \noindent \@setauthor{16.5pc}{#1}{\@false}\hspace{1pc}%
              \@setauthor{12pc}{#2}{\@false}\hspace{1pc}%
              \@setauthor{11pc}{#3}{\@true}\par
  \vspace{10pt}}
\makeatother


\authorinfo{Yoav Zibin \and Alex Potanin \and Paley Li}
           {Victoria University of Wellington \\ Wellington, New Zealand}
           {yoav$|$alex$|$lipale@ecs.vuw.ac.nz}
\authorinfo{Mahmood Ali}
           {\mbox{Massachusetts Institute of Technology} \\ Cambridge, MA, USA}
           {mali@csail.mit.edu}
\authorinfo{Michael D.~Ernst}
           {University of Washington \\ Seattle, WA, USA}
           {mernst@cs.washington.edu}


\maketitle


\begin{abstract}
\input{abstract}
\end{abstract}

\category{D.3.3}{Programming Languages}{Language Constructs and Features}
\category{D.1.5}{Programming Techniques}{Object-oriented Programming}

\terms
Experimentation, Languages, Theory

% Keywords are not required in the paper itself - only in the submission system's meta data.
% \keywords
% Immutability, Ownership, Java


\Section[introduction]{Introduction}
\input{introduction}

\paragraph{Contributions}
\input{contributions}


\Section[oigj-language]{OIGJ Language}
\input{oigj-language}


\Section[formal]{Formalization and Type Soundness}
\input{formal}


\Section[case-studies]{OIGJ Case Studies}
\input{case-studies}


\Section[related-work]{Related Work}
\input{related-work}

\vspace{-0.5cm}

\Section[conclusion]{Conclusion}
\input{conclusions}

\vspace{-0.3cm}

\acks

\vspace{-0.1cm}

This work was supported by the grants from RSNZ Marsden,
ISAT, and NSF CNS-0855252. We especially thank
Werner Dietl, James Noble, ELVIS, and the
anonymous referees.

\vspace{-0.1cm}

\bibliographystyle{plainnat}
\bibliography{extra,bibstring-abbrev,types,alias,ernst,invariants,pag}

\label{ignore-label-for-etags}

\end{document}
